device-dm: Use SIGHUP before SIGKILL
authorKeir Fraser <keir.fraser@citrix.com>
Tue, 12 Feb 2008 10:57:49 +0000 (10:57 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Tue, 12 Feb 2008 10:57:49 +0000 (10:57 +0000)
commitb3a389fdfc3a1fe19fd7094b0180e97d49c186dd
tree5d6cb23621b283a6d1498fcb346ef6c993b26ad7
parent5c22e77bb7a925056a111a73ce7ea3c3c5491ca9
device-dm: Use SIGHUP before SIGKILL

Make qemu unblock SIGHUP and make sure the default handler is in
place. Have the domain killer send SIGHUP to the device-model script,
allow the script 10s to clean up, and if still not dead, send
SIGKILL.

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
tools/ioemu/vl.c
tools/python/xen/xend/image.py